<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
  <link href="../res/fit.css" media="screen, print" rel="StyleSheet" type="text/css" />
  <meta http-equiv="CONTENT-TYPE" content="text/html; charset=utf-8" />
  <title>Negation Example Spec</title>
</head>
<body>
  <h1>Negation Example Spec</h1>
  <table>
    <tbody>
      <tr>
        <td colspan="2"><b>FIT.Specify</b></td>
      </tr>

      <tr>
        <td>
          <table>
            <tbody>
              <tr><td colspan="2"><b>FIT.eg.Negation</b></td></tr>

              <tr><td><i>boolean</i></td><td><i>negated?</i></td></tr>

              <tr><td> 1    </td><td> 0     </td></tr>

              <tr><td> 0    </td><td> 1     </td></tr>

              <tr><td> T    </td><td> F     </td></tr>

              <tr><td> t    </td><td> f     </td></tr>

              <tr><td> F    </td><td> T     </td></tr>

              <tr><td> f    </td><td> t     </td></tr>

              <tr><td> TRUE </td><td> FALSE </td></tr>

              <tr><td> true </td><td> False </td></tr>

              <tr><td> Yes  </td><td> F     </td></tr>

              <tr><td> NO   </td><td> y     </td></tr>

              <tr><td> +    </td><td> -     </td></tr>

              <tr><td> no   </td><td> -    </td></tr>

              <tr><td> yes  </td><td> no    </td></tr>

              <tr><td> true </td><td> ¿     </td></tr>

              <tr><td> F    </td><td> ¿     </td></tr>
            </tbody>
          </table>
        </td>

        <td>
          <table>
            <tbody>
              <tr>
                <td colspan="2"><b>FIT.eg.Negation</b></td>
              </tr>

              <tr><td><i>boolean</i></td><td><i>negated?</i></td></tr>

              <tr><td> 1    </td><td class="fit_right"> 0     </td></tr>

              <tr><td> 0    </td><td class="fit_right"> 1     </td></tr>

              <tr><td> T    </td><td class="fit_right"> F     </td></tr>

              <tr><td> t    </td><td class="fit_right"> f     </td></tr>

              <tr><td> F    </td><td class="fit_right"> T     </td></tr>

              <tr><td> f    </td><td class="fit_right"> t     </td></tr>

              <tr><td> TRUE </td><td class="fit_right"> FALSE </td></tr>

              <tr><td> true </td><td class="fit_right"> False </td></tr>

              <tr><td> Yes  </td><td class="fit_right"> F     </td></tr>

              <tr><td> NO   </td><td class="fit_right"> y     </td></tr>

              <tr><td> +    </td><td class="fit_right"> -     </td></tr>

              <tr>
                <td>no</td>
                <td class="fit_wrong">
                  - <span class="fit_wrong_note">expected</span>
                  <hr />
                  + <span class="fit_wrong_note">actual</span>
                </td>
              </tr>

              <tr>
                <td>yes</td>
                <td class="fit_right">no</td>
              </tr>

              <tr><td>true</td><td class="fit_note">false</td></tr>

              <tr><td>F</td><td class="fit_note">true</td></tr>
            </tbody>
          </table>
        </td>
      </tr>
    </tbody>
  </table>
<br/>
</body>
</html>
